141. Logic and computer science
المؤلف: edited by Piergiorgio Odifreddi
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Computer science
رده :
QA
9
.
L5
1990
142. Logic and discrete mathematics :
المؤلف: Willem Conradie, Valentin Goranko.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics, Textbooks.,Logic, Symbolic and mathematical, Textbooks.
143. Logic for applications
المؤلف: Nerode, Anil
المکتبة: (طهران)
موضوع: Computer science - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
N47
1997
144. Logic for applications
المؤلف: / Anil Nerode, Richard A. Shore
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science-mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
,
N47
1997
145. Logic for applications /
المؤلف: Anil Nerode, Richard A. Shore
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
N47
1997
146. Logic from computer science
المؤلف: Y.N. Moschovakis, editor
المکتبة: (کرمان)
موضوع: Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses
رده :
QA
9
.
A1
,
L64
1991
147. Logic from computer science
المؤلف: Y.N. Moschovakis, editor
المکتبة: (کرمان)
موضوع: Logic, Symbolic and mathematical -- Congresses,Computer science -- Congresses
رده :
QA
9
.
A1
,
L64
1991
148. Logic from computer science : Proceedings of a Workshop held November 13-17, 1989
المؤلف: Yiannis Moschovakis, editor
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
9
.
A1W65
1989
149. Logic from computer science : proceedings of a workshop held November 13-17, 1989
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical--Congresses,، Computer science--Congresses
رده :
QA
9
.
A1
.
L64
1991
150. Logic from computer science : proceedings of a workshop held November 13-17, 1989
المؤلف: Y.N. Moschovakis, editor
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
رده :
QA
1
.
M3
v
.
21
151. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
المؤلف: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
152. Logic of Computation
المؤلف: edited by Helmut Schwichtenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
153. Logic of computation
المؤلف: edited by Helmut Schwichtenberg
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
L63
1997
154. Logic of computation
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, symbolic and mathematical
رده :
QA
75
.
5
.
L63
1997
155. Logica: Metodo Breve
المؤلف: by Daniele Mundici.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.,Semantics.
156. Logical Foundations of Cyber-Physical Systems /
المؤلف: by André Platzer.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.,Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.
رده :
QA8
.
9-QA10
.
3
157. Logical Methods
المؤلف: edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
158. Logical Structures for Representation of Knowledge and Uncertainty
المؤلف: by Ellen Hisdal.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Operations research.
159. Logical Thinking in the Pyramidal Schema of Concepts
المؤلف: / Lutz Geldsetzer, Richard L. Schwartz
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
160. Logical foundations of computer science
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Programa??o l?gica (congressos) ; larpcal. ; Ci??ncia da computa??o (congressos) ; larpcal. ;
